Decidability and Complexity of Tree Share Formulas

Fractional share models are used to reason about how multiple actors share ownership of resources. We examine the decidability and complexity of reasoning over the "tree share" model of Dockins et al. using first-order logic, or fragments thereof. We pinpoint a connection between the basic operations on trees union, intersection, and complement and countable atomless Boolean algebras, allowing us to obtain decidability with the precise complexity of both first-order and existential theories over the tree share model with the aforementioned operations. We establish a connection between the multiplication operation on trees and the theory of word equations, allowing us to derive the decidability of its existential theory and the undecidability of its full first-order theory. We prove that the full first-order theory over the model with both the Boolean operations and the restricted multiplication operation (with constants on the right hand side) is decidable via an embedding to tree-automatic structures

Monadic Decomposability of Regular Relations

Monadic decomposibility - the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas - is a powerful tool for devising a decision procedure for a given logical theory. In this paper, we revisit a classical decision problem in automata theory: given a regular (a.k.a. synchronized rational) relation, determine whether it is recognizable, i.e., it has a monadic decomposition (that is, a representation as a boolean combination of cartesian products of regular languages). Regular relations are expressive formalisms which, using an appropriate string encoding, can capture relations definable in Presburger Arithmetic. In fact, their expressive power coincide with relations definable in a universal automatic structure; equivalently, those definable by finite set interpretations in WS1S (Weak Second Order Theory of One Successor). Determining whether a regular relation admits a recognizable relation was known to be decidable (and in exponential time for binary relations), but its precise complexity still hitherto remains open. Our main contribution is to fully settle the complexity of this decision problem by developing new techniques employing infinite Ramsey theory. The complexity for DFA (resp. NFA) representations of regular relations is shown to be NLOGSPACE-complete (resp. PSPACE-complete)

Dipole-field-assisted charge extraction in metal-perovskite-metal back-contact solar cells

Hybrid organic-inorganic halide perovskites are low-cost solution-processable solar cell materials with photovoltaic properties that rival those of crystalline silicon. The perovskite films are typically sandwiched between thin layers of hole and electron transport materials, which efficiently extract photogenerated charges. This affords high-energy conversion efficiencies but results in significant performance and fabrication challenges. Herein we present a simple charge transport layer-free perovskite solar cell (PSC), comprising only a perovskite layer with two interdigitated gold back-contacts. Charge extraction is achieved via self-assembled molecular monolayers (SAMs) and their associated dipole fields at the metal/perovskite interface. Photovoltages of approximately 600 mV generated by SAM-modified PSCs are equivalent to the built-in potential generated by individual dipole layers. Efficient charge extraction results in photocurrents of up to 12.1 mA/cm2 under simulated sunlight, despite a large electrode spacing.Comment: 18 pages, 5 figure

Trends in Shoulder Stabilization Techniques Used in the United States Based on a Large Private-Payer Database

Background: Arthroscopic stabilization is the most broadly used surgical procedure in the United States for management of recurrent shoulder instability. Latarjet coracoid transfer has been considered a salvage surgical procedure for failed arthroscopic repairs or cases of significant glenoid bone loss; however, with recent literature suggesting reduced risk of recurrent instability with Latarjet, several surgeons have advocated its broader utilization as a primary operation for treatment of shoulder instability. Purpose: To determine trends in shoulder stabilization techniques used in the United States. Study Design: Cross-sectional study. Methods: A retrospective analysis of a publicly available national insurance database was performed to identify shoulder stabilization procedures performed over 9 years (2007-2015). The following Current Procedural Terminology codes were searched: 29806 (arthroscopic stabilization), 23455 (open capsulolabral repair), 23466 (open capsular shift), 23462 (Latarjet coracoid transfer), and 23460 (open anterior capsulorrhaphy with other bone block augmentation). Outcomes of interest included (1) trends in the use of each technique throughout the study interval, (2) age and sex distributions of patients undergoing each technique, and (3) regional predilections for the use of each technique. Results: Arthroscopic stabilization was the most broadly used shoulder stabilization procedure in the database (87%), followed by open Bankart (7%), Latarjet (3.2%), open capsular shift (2.6%), and alternative bone block procedure (0.8%). Throughout the study period, the incidence of arthroscopic stabilization and Latarjet increased (8% and 15% per year, respectively); the incidence of open capsular shift remained relatively constant; and the incidence of open Bankart decreased (9% per year). Arthroscopic stabilization, open Bankart, and Latarjet each had similar sex-based distributions (roughly 70% male), while open capsular shift and alternative bone block were relatively more common in females (54% and 50% male, respectively). The incidence of arthroscopic stabilization and Latarjet were greatest in the South and lowest in the Northeast. Conclusion: Arthroscopic stabilization remains the most commonly utilized stabilization technique in the United States. The use of the Latarjet procedure is steadily increasing and now rivals open Bankart stabilization among the most commonly used open stabilization techniques

ISCEV guidelines for calibration and verification of stimuli and recording instruments (2023 update)

This document developed by the International Society for Clinical Electrophysiology of Vision (ISCEV) provides guidance for calibration and verification of stimulus and recording systems specific to clinical electrophysiology of vision. This guideline provides additional information for those using ISCEV Standards and Extended protocols and supersedes earlier Guidelines. The ISCEV guidelines for calibration and verification of stimuli and recording instruments (2023 update) were approved by the ISCEV Board of Directors 01, March 2023

Improving zinc accumulation in barley endosperm using HvMTP1, a transition metal transporter

Zinc (Zn) is essential for all life forms, including humans. It is estimated that around two billion people are deficient in their Zn intake. Human dietary Zn intake relies heavily on plants, which in many developing countries consists mainly of cereals. The inner part of cereal grain, the endosperm, is the part that is eaten after milling but contains only a quarter of the total grain Zn. Here we present results demonstrating that endosperm Zn content can be enhanced through expression of a transporter responsible for vacuolar Zn accumulation in cereals. The barley (Hordeum vulgare) vacuolar Zn transporter HvMTP1 was expressed under the control of the endosperm-specific D-hordein promoter. Transformed plants exhibited no significant change in growth but had higher total grain Zn concentration, as measured by ICP-OES, compared to parental controls. Compared with Zn, transformants had smaller increases in concentrations of Cu and Mn but not Fe. Staining grain cross-sections with the Zn-specific stain DTZ revealed a significant enhancement of Zn accumulation in the endosperm of two of three transformed lines, a result confirmed by ICP-OES in the endosperm of dissected grain. Synchrotron X-ray fluorescence analysis of longitudinal grain sections demonstrated a redistribution of grain Zn from aleurone to endosperm. We argue that this proof-of-principle study provides the basis of a strategy for biofortification of cereal endosperm with Zn

Candida albicans y su relación con factores epidemiológicos en mujeres en edad fértil atendidas en el centro salud Morro Solar – Jaén 2019

The objective of this research was to determine the prevalence of Candida albicans and its relationship with epidemiological factors in women of childbearing age attending the Morro Solar - Jaén Health Center during the year. A descriptive, cross-sectional, retrospective study was carried out, including 339 medical records and laboratory reports of females aged 15 to 49 years. A prevalence of 31,7% of Candida albicans was obtained. Furthermore, it was found that the most frequent age group was 21 to 32 years (12,09%), rural area (21,83%), secondary level education (14,45%), antibiotic use (17,70%), normal nutritional status (15,04%), and lack of condom use (23,89%). The conclusion was that there is a statistically significant association between place of origin, antibiotic use, and condom use.El propósito de esta investigación fue establecer la prevalencia de Candida albicans y su vínculo con los aspectos epidemiológicos en mujeres en edad fértil que recibieron atención médica en el Centro de Salud Morro Solar - Jaén durante el año 2019. Se llevó a cabo un estudio de tipo descriptivo, transversal y retrospectivo, en el cual se analizaron 339 historias clínicas y reportes de laboratorio correspondientes a mujeres de entre 15 a 49 años. Se determinó que la prevalencia de Candida albicans fue del 31,7%. Además, se pudo observar que el grupo etario más frecuente fue el de mujeres entre 21 a 32 años (12,09%), la zona rural presentó la mayor tasa de infección (21,83%), el nivel educativo secundario se relacionó con un mayor riesgo de infección (14,45%), el uso de antibióticos aumentó la probabilidad de infección (17,70%), un estado nutricional normal no disminuyó significativamente el riesgo de infección (15,04%), y que la falta de uso de preservativo estuvo asociada con un mayor riesgo de infección (23,89%). En conclusión, se halló una relación estadísticamente significativa entre el lugar de procedencia, el uso de antibióticos y la falta de uso de preservativo

Association between first-year virological response to raltegravir and long-term outcomes in treatment-experienced patients with HIV-1 infection

Background: We explored the relationship between virological response in the first year of treatment and long-term outcomes in the BENCHMRK studies. Methods: Patients failing antiretroviral treatment with 3-class resistant HIV-1 received double-blinded raltegravir (or placebo) with optimized background therapy (OBT) until week 156, followed by open-label raltegravir with OBT up to week 240. In this exploratory analysis of patients randomized to raltegravir, virological response over weeks 16-48 was categorized as continuous suppression (CS; viral RNA [vRNA] always 50 copies/ml at least once), or not suppressed (NS; vRNA >400 copies/ml at least once). The association between these first-year vRNA response categories and baseline factors was analysed with univariate and multivariate models. Virological and immunological outcomes for years 2-5 were assessed by first-year vRNA response category (observed failure approach). Results: Baseline vRNA, baseline CD4(+) T-cell count and rapid viral decay (vRNA <50 copies/ml between weeks 2-12) correlated with first-year vRNA response (P<0.001); only rapid viral decay remained significant by multiple regression. Virological response rates were similar in the LLV and CS groups and lowest in the NS group. CD4(+) T-cell count increased through week 240 in the CS and LLV groups. Time to loss of virological response (confirmed vRNA ≥400 copies/ml) through week 240 did not support as strong a difference between the LLV and CS groups (log-rank P=0.11) as previously reported through weeks 156 and 192 (P<0.05). Conclusions: Treatment-experienced patients on a raltegravir-based regimen with early LLV may have long-term virological and immunological benefit when their therapy is maintained

Can Laminated Carbon Challenge Gold? Toward Universal, Scalable, and Low-Cost Carbon Electrodes for Perovskite Solar Cells

While perovskite solar cell (PSC) efficiencies are soaring at a laboratory scale, these are most commonly achieved with evaporated gold electrodes, which would present a significant expense in large-scale production. This can be remedied through the use of significantly cheaper carbon electrodes that, in contrast to metals, also do not migrate through the device. To this end, the present work investigates simple-to-prepare aluminum-supported carbon electrodes derived from commercially available, inexpensive materials that can be applied onto various hole-transporting materials and enable photovoltaic performances on par with those provided by gold electrodes. Successful integration of the new carbon-based electrode into flexible devices produced by a roll-to-roll printing technology by both pressing and lamination is demonstrated. However, temperature cycling durability tests reveal that the use of carbon electrodes based on commercial pastes is hindered by incompatibility of adhesive additives with the key components of the PSCs under heating. Resolving this issue, tailor-made graphite electrodes devoid of damaging additives are introduced, which improve the PSC stability under temperature cycling test protocol to the level provided by benchmark gold electrodes. The study highlights current challenges in developing laminated carbon electrodes in PSCs and proposes strategies toward the resolution thereof.This work was funded by the Australian Centre for Advanced Photovoltaics and Australian Renewable Energy Agency. A.N.S. also acknowledges the financial support from the Australian Research Council (Centre of Excellence CE140100012; Future Fellowship FT200100317). Monash Centre for Electron Microscopy (MCEM) and Melbourne Centre for Nano fabrication (MCN) are acknowledged for providing access to their facilities. The authors are grateful to Dr T. Zhang, A. Surmiak, Dr. N. Peris, Dr. D. Senevirathna, and Dr. N. Pai from Monash University for the experimental support throughout this study